body {
  margin: 0;
  padding: 0;
  border: 0;
  width: 100%;
  background: #fff;
  min-width: 600px;
  font-size: 90%;
}

a {
  color: #369;
}

a:hover {
  color: #fff;
  background: #369;
  text-decoration: none;
}

h1, h2, h3 {
  margin: .8em 0 .2em 0;
  padding: 0;
}

p {
  margin: .4em 0 .8em 0;
  padding: 0;
}

img {
  margin: 10px 0 5px;
}

#header {
  clear: both;
  float: left;
  width: 100%;
}

#header {
  border-bottom: 1px solid #000;
}

#header p,
#header h1,
#header h2 {
  padding: .4em 15px 0 15px;
  margin: 0;
}

#header ul {
  clear: left;
  float: left;
  width: 100%;
  list-style: none;
  margin: 10px 0 0 0;
  padding: 0;
}

#header ul li {
  display: inline;
  list-style: none;
  margin: 0;
  padding: 0;
}

#header ul li a {
  display: block;
  float: left;
  margin: 0 0 0 1px;
  padding: 3px 10px;
  text-align: center;
  background: #eee;
  color: #000;
  text-decoration: none;
  position: relative;
  left: 15px;
  line-height: 1.3em;
}

#header ul li a:hover {
  background: #369;
  color: #fff;
}

#header ul li a.active,
#header ul li a.active:hover,
dl dt .chapter a.active,
dl dt .chapter a.active:hover
{
  color: #fff;
  background: #000;
  font-weight: bold;
}

#header ul li a span {
  display: block;
}

#layoutdims {
  clear: both;
  background: #eee;
  border-top: 4px solid #000;
  margin: 0;
  padding: 6px 15px !important;
  text-align:r ight;
}

.colmask {
  position: relative;
  clear: both;
  float: left;
  width: 100%;
  overflow: hidden;
}

.colright,
.colmid,
.colleft {
  float: left;
  width: 100%;
  position: relative;
}

.col1,
.col2,
.col3 {
  float: left;
  position: relative;
  padding: 0 0 1em 0;
  overflow: hidden;
}

.leftmenu {
  background: #fff;
}

.leftmenu .colleft {
  right: 75%;
  background: #f4f4f4;
}

.leftmenu .col1 {
  width: 71%;
  left: 102%;
}

.leftmenu .col2 {
  width: 21%;
  left: 6%;
}

#footer {
  clear: both;
  float: left;
  width: 100%;
  border-top: 1px solid #000;
}

#footer p {
  padding: 10px;
  margin: 0;
}

table {
  border-color: black;
  border-width: 2;
}

.epigraph {
  font-size: small;
  margin-bottom: 40px;
  text-align: right;
}

pre.programlisting, pre.screen, code {
  font-family: monospace;
}

p.note, div.example pre.programlisting, pre.screen {
  background-color: #eeeeec;
  margin: 1em 0 1em 0;
  padding: 0.2em;
}

.epigraph, .list-of-examples, .list-of-figures, .toc, div.example pre.programlisting, pre.screen {
  line-height: 110%;
}

.filename {
  font-style: italic;
}

.blockquote, .navheader, .navfooter {
  -moz-border-radius: 8px;
  margin-bottom: 10px;
  margin-top: 10px;
  padding: 2px;
}

.blockquote {
  background-color: #eeeeec;
  border: 1px solid #eeeeec;
}

.navheader, .navfooter {
  background-color: #d3d7cf;
  border: 1px solid #d3d7cf;
}

.navheader hr, .navfooter hr {
  display: none;
}

.table table {
  border: 1px #eeeeec solid;
  border-spacing: 0px;
}

.table td {
  border: 1px #eeeeec solid;
  text-align: left;
  vertical-align: top;
}

.table th {
  background: #eeeeec;
  border: 1px #eeeeec solid;
  text-align: left;
  vertical-align: top;
}

.sidebar {
  display: none;
}

pre span.bg {
  color: #eeeeec;
  font-weight: bold;
}

pre span.comment {
  color: #8f5902;
  font-weight: bold;
}

pre span.default {
  color: #204a87;
  font-weight: bold;
}

pre span.html {
  color: #000000;
  font-weight: bold;
}

pre span.keyword {
  color: #4e9a06;
  font-weight: bold;
}

pre span.string {
  color: #a40000;
  font-weight: bold;
}
